翻訳と辞書 |
Effective Polish space : ウィキペディア英語版 | Effective Polish space In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces. == Definition ==
An effective Polish space is a complete separable metric space ''X'' with metric ''d'' such that there is a countable dense set ''C'' = (''c''0, ''c''1,...) that makes the following two relations on computable (Moschovakis 2009:96-7): : :
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Effective Polish space」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|